CSP methods for identifying atomic actions in the design of fault tolerant concurrent systems

Limiting the extent of error propagation when faults occur and localizing the subsequent error recovery are common concerns in the design of fault tolerant parallel processing systems, Both activities are made easier if the designer associates fault tolerance mechanisms with the underlying atomic actions of the system, With this in mind, this paper has investigated two methods for the identification of atomic actions in parallel processing systems described using CSP, Explicit trace evaluation forms the basis of the first algorithm, which enables a designer to analyze interprocess communications and thereby locate atomic action boundaries in a hierarchical fashion, The second method takes CSP descriptions of the parallel processes and uses structural arguments to infer the atomic action boundaries. This method avoids the difficulties involved with producing full trace sets, but does incur the penalty of a more complex algorithm

Strong, weak and flavor scalar triplets for the CDF Wjj anomaly

A model describing the 4.1\sigma\ Wjj anomaly observed by the CDF experiment at the Tevatron collider is introduced. It features new scalar particles which are charged both under the SU(3)_C and the SU(2)_L gauge groups and which couple to pairs of quarks. We introduce several identical replicas of the scalar multiplets in order to leave an unbroken U(3)_Q x U(3)_U x U(3)_D flavor symmetry to satisfy the constraints coming from flavor physics. We discuss the LHC reach on the new scalar resonances both in the resonant production channel (with the Wjj final state) and in the QCD pair production channel (with the 4j final state).Comment: 17 pages, 6 figures and 4 table

Reheating Temperature and Gauge Mediation Models of Supersymmetry Breaking

For supersymmetric theories with gravitino dark matter, the maximal reheating temperature consistent with big bang nucleosynthesis bounds arises when the physical gaugino masses are degenerate. We consider the cases of a stau or sneutrino next-to-lightest superpartner, which have relatively less constraint from big bang nucleosynthesis. The resulting parameter space is consistent with leptogenesis requirements, and can be reached in generalized gauge mediation models. Such models illustrate a class of theories that overcome the well-known tension between big bang nucleosynthesis and leptogenesis.Comment: 30 pages, 4 figures; v2: refs adde

Supersymmetry with a Chargino NLSP and Gravitino LSP

We demonstrate that the lightest chargino can be lighter than the lightest neutralino in supersymmetric models with Dirac gaugino masses as well as within a curious parameter region of the MSSM. Given also a light gravitino, such as from low scale supersymmetry breaking, this mass hierarchy leads to an unusual signal where every superpartner cascades down to a chargino that decays into an on-shell W and a gravitino, possibly with a macroscopic chargino track. We clearly identify the region of parameters where this signal can occur. We find it is generic in the context of the R-symmetric supersymmetric standard model, whereas it essentially only occurs in the MSSM when sign(M1) is not equal to sign(M2) = sign(\mu) and tan(beta) is small. We briefly comment on the search strategies for this signal at the LHC.Comment: 27 pages and 16 figure

Anthropogenic Space Weather

Anthropogenic effects on the space environment started in the late 19th century and reached their peak in the 1960s when high-altitude nuclear explosions were carried out by the USA and the Soviet Union. These explosions created artificial radiation belts near Earth that resulted in major damages to several satellites. Another, unexpected impact of the high-altitude nuclear tests was the electromagnetic pulse (EMP) that can have devastating effects over a large geographic area (as large as the continental United States). Other anthropogenic impacts on the space environment include chemical release ex- periments, high-frequency wave heating of the ionosphere and the interaction of VLF waves with the radiation belts. This paper reviews the fundamental physical process behind these phenomena and discusses the observations of their impacts.Comment: 71 pages, 35 figure

β Decay and isomeric properties of neutron-rich Ca and Sc isotopes

The isomeric and β-decay properties of neutron-rich Sc53-57 and Ca53,54 nuclei near neutron number N=32 are reported, and the low-energy level schemes of Sc53,54,56 and Ti53-57 are presented. The low-energy level structures of the 21Sc isotopes are discussed in terms of the coupling of the valence 1f7/2 proton to states in the corresponding 20Ca cores. Implications with respect to the robustness of the N=32 subshell closure are discussed, as well as the repercussions for a possible N=34 subshell closure

Fast-timing measurements in the ground-state band of Pd114

Using a hybrid Gammasphere array coupled to 25 LaBr3(Ce) detectors, the lifetimes of the first three levels of the yrast band in Pd-114, populated via Cf-252 decay, have been measured. The measured lifetimes are tau(2+) = 103(10) ps, tau(4+) = 22(13) ps, and tau(6+) <= 10 ps for the 2(1)(+), 4(1)(+), and 6(1)(+) levels, respectively. Palladium-114 was predicted to be the most deformed isotope of its isotopic chain, and spectroscopic studies have suggested it might also be a candidate nucleus for low-spin stable triaxiality. From the lifetimes measured in this work, reduced transition probabilities B(E2; J -> J - 2) are calculated and compared with interacting boson model, projected shell model, and collective model calculations from the literature. The experimental ratio R-B(E2) = B(E2; 4(1)(+) -> 2(1)(+))/B(E2; 2(1)(+) -> 0(1)(+)) = 0.80(42) is measured for the first time in Pd-114 and compared with the known values R-B(E2) in the palladium isotopic chain: the systematics suggest that, for N = 68, a transition from gamma-unstable to a more rigid gamma-deformed nuclear shape occurs

Intermediate-energy Coulomb excitation of 58,60,62Cr: The onset of collectivity toward N=40

Intermediate-energy Coulomb excitation measurements were performed on the neutron-rich isotopes 58,60,62Cr. The electric quadrupole excitation strengths, B(E2; 01+→21+), of 60,62Cr are determined for the first time. The results quantify the trend of increasing quadrupole collectivity in the Cr isotopes approaching neutron number N=40. The results are confronted with large-scale shell-model calculations in the fpgd shell using the state-of-the-art LNPS effective interaction. Different sets of effective charges are discussed that provide an improved and robust description of the B(E2) values of the neutron-rich Fe and Cr isotopes in this region of rapid shell evolution. The ratio of the neutron and proton transition matrix elements, |Mn/Mp|, is proposed as an effective tool to discriminate between the various choices of effective charges

In-beam γ -ray spectroscopy of Mn 63

Background: Neutron-rich, even-mass chromium and iron isotopes approaching neutron number N=40 have been important benchmarks in the development of shell-model effective interactions incorporating the effects of shell evolution in the exotic regime. Odd-mass manganese nuclei have received less attention, but provide important and complementary sensitivity to these interactions. Purpose: We report the observation of two new γ-ray transitions in Mn63, which establish the (9/2-) and (11/2-) levels on top of the previously known (7/2-) first-excited state. The lifetime for the (7/2-) and (9/2-) excited states were determined for the first time, while an upper limit could be established for the (11/2-) level. Method: Excited states in Mn63 have been populated in inelastic scattering from a Be9 target and in the fragmentation of Fe65. γγ coincidence relationships were used to establish the decay level scheme. A Doppler line-shape analysis for the Doppler-broadened (7/2-)→5/2-, (9/2-)→(7/2-), and (11/2-)→(9/2-) transitions was used to determine (limits for) the corresponding excited-state lifetimes. Results: The low-lying level scheme and the excited-state lifetimes were compared with large-scale shell-model calculations using different model spaces and effective interactions in order to isolate important aspects of shell evolution in this region of structural change. Conclusions: While the theoretical (7/2-) and (9/2-) excitation energies show little dependence on the model space, the calculated lifetime of the (7/2-) level and calculated energy of the (11/2-) level reveal the importance of including the neutron g9/2 and d5/2 orbitals in the model space. The LNPS effective shell-model interaction provides the best overall agreement with the new data